768.83/773.35	unsat
