13.85/16.89	unsat
