13.86/15.77	unsat
