14.86/18.04	unsat
