2.79/3.03	unsat
