12.86/14.24	unsat
