1.89/5.03	unsat
