14.54/16.62	unsat
