5.46/6.18	unsat
