16.54/18.89	unsat
