13.90/14.60	unsat
