13.86/15.42	unsat
