1.29/3.03	unsat
