743.45/744.67	unsat
