1.48/6.18	unsat
