5.18/6.47	unsat
