766.80/770.94	unsat
