768.55/770.92	unsat
