5.59/7.67	unsat
