5.03/7.54	unsat
