14.86/16.79	unsat
