1.29/5.03	unsat
