2.18/2.39	unsat
