13.02/16.85	unsat
