4.18/6.38	unsat
