786.34/792.67	unsat
