14.87/16.30	unsat
