5.49/6.38	unsat
