3.40/3.47	unsat
