13.29/16.89	unsat
