773.56/944.81	unsat
