2.09/5.03	unsat
