10.43/13.86	unsat
