13.76/16.29	unsat
