13.86/18.25	unsat
