5.19/5.85	unsat
