5.48/6.03	unsat
