1.18/3.39	unsat
