13.76/14.43	unsat
