2.79/3.30	unsat
