4.80/6.24	unsat
