11.46/14.79	unsat
