13.29/16.50	unsat
