11.17/11.39	unsat
