5.48/6.23	unsat
