5.02/7.46	unsat
