3.69/5.17	unsat
