13.40/14.77	unsat
