13.84/14.00	unsat
