14.86/19.31	unsat
