31.19/31.21	unsat
