5.19/6.11	unsat
