3.54/3.97	unsat
