10.66/13.15	unsat
