5.03/6.86	unsat
