1.19/5.04	unsat
