10.76/11.39	unsat
