4.18/6.40	unsat
