14.86/16.12	unsat
