14.78/16.71	unsat
