5.28/6.03	unsat
