5.21/5.85	unsat
