11.79/13.42	unsat
