14.72/15.30	unsat
