765.74/768.56	unsat
